Effect capabilities for Haskell: Taming effect interference in monadic programming

Effect capabilities for Haskell: Taming effect interference in monadic programming

Article history: Received 13 March 2015 Received in revised form 19 November 2015 Accepted 22 November 2015 Available online 28 November 2015

Effect Capabilities for Haskell

Monadic Reflection in Haskell

Monadic Parsing in Haskell

This paper is a tutorial on defining recursive descent parsers in Haskell. In the spirit of one-stop shopping , the paper combines material from three areas into a single source. The three areas are functional parsers (Burge, 1975; Wadler, 1985; Hutton, 1992; Fokker, 1995), the use of monads to structure functional programs (Wadler, 1990, 1992a, 1992b), and the use of special syntax for monadic...

Monadic I/o in Haskell 1.3

We describe the design and use of monadic I/O in Haskell 1.3, the latest revision of the lazy functional programming language Haskell. Haskell 1.3 standardises the monadic I/O mechanisms now available in many Haskell systems. The new facilities allow more sophisticated text-based application programs to be written portably in Haskell. Apart from the use of monads, the main advances over standar...